PHP - Deserialize multiple serialized object from a text file